- [1] 开源联盟链隐私保护协议的UC安全性研究2024/10/01-2025/09/01
- [2] 补贴策略的博弈分析联合创新组2017/05/01-2019/06/01
- [3] 网络广告拍卖的博弈理论和计算方法的研究2017/01/01-2021/12/01
- [4] M-可解性、M-计算复杂性与计算机科学的模型理论2011/01/01-2014/12/01
- [5] M-可解性、M-计算复杂性与计算机科学的模型理论2011/01/01-2014/12/01
- [6] 无限状态系统的验证问题研究-可信软件理论、方法集成与综合试验平台2013/02/01-2016/12/01
- [7] 计算机科学的结构与核心基础理论2011/06/01-2013/05/01
- [8] 微软联合重点实验室2011/01/01-2013/12/01
- [9] 多线程程序语言的程序分析研究2010/04/01-2012/12/01
- [10] VASS可达性的算法研究2021/01/01-2024/12/01